submetric topological space

[数] 子度量拓扑空间